Narrow your search

Library

ULiège (5)

FARO (2)

KU Leuven (2)

LUCA School of Arts (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

UGent (2)

ULB (2)

More...

Resource type

book (5)


Language

English (3)

German (2)


Year
From To Submit

2022 (3)

2021 (1)

2017 (1)

Listing 1 - 5 of 5
Sort by

Book
Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl
Author:
Year: 2022

Loading...
Export citation

Choose an application

Bookmark

Abstract

Rudolf Carnap (1891-1970) was among the most important representatives of interwar European philosophy as well as of postwar American analytic philosophy. His early diaries, with whom the edition of his writings from the estate is opened, offer unique insights into the motives and thoughts of a key figure of twentieth-century philosophy and provide indispensable information on the genesis and background of Carnap's work, but also on the (pre)history of the Vienna Circle and Logical Empiricism. Rudolf Carnap (1891-1970) war einer der wichtigsten Vertreter der europäischen Philosophie der Zwischenkriegszeit wie auch der amerikanischen analytischen Philosophie der Nachkriegszeit. Seine frühen Tagebücher, mit deren Edition die Ausgabe seiner Schriften aus dem Nachlass eröffnet wird, bieten einen einzigartigen Einblick in die Motive und Gedanken einer Schlüsselfigur der Philosophie des zwanzigsten Jahrhunderts und liefern unerlässliche Informationen zu Entstehung und Hintergrund von Carnaps Werk, aber auch zur (Vor-)Geschichte des Wiener Kreises und des Logischen Empirismus.


Book
Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl
Author:
Year: 2022

Loading...
Export citation

Choose an application

Bookmark

Abstract

Rudolf Carnap (1891-1970) was among the most important representatives of interwar European philosophy as well as of postwar American analytic philosophy. His early diaries, with whom the edition of his writings from the estate is opened, offer unique insights into the motives and thoughts of a key figure of twentieth-century philosophy and provide indispensable information on the genesis and background of Carnap's work, but also on the (pre)history of the Vienna Circle and Logical Empiricism.Volume 1: https://e-book.fwf.ac.at/o:1697Volume 2: https://e-book.fwf.ac.at/o:1707 Rudolf Carnap (1891-1970) war einer der wichtigsten Vertreter der europäischen Philosophie der Zwischenkriegszeit wie auch der amerikanischen analytischen Philosophie der Nachkriegszeit. Seine frühen Tagebücher, mit deren Edition die Ausgabe seiner Schriften aus dem Nachlass eröffnet wird, bieten einen einzigartigen Einblick in die Motive und Gedanken einer Schlüsselfigur der Philosophie des zwanzigsten Jahrhunderts und liefern unerlässliche Informationen zu Entstehung und Hintergrund von Carnaps Werk, aber auch zur (Vor-)Geschichte des Wiener Kreises und des Logischen Empirismus.Band 1: https://e-book.fwf.ac.at/o:1697Band 2: https://e-book.fwf.ac.at/o:1707


Book
Der junge Carnap in historischem Kontext: 1918–1935 / Young Carnap in an Historical Context: 1918–1935
Authors: ---
ISBN: 3030582515 3030582507 Year: 2021 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This open access volume is based on the 'Early Carnap in Context’ workshop that took place in Konstanz in 2017 and looks at Rudolf Carnap’s philosophy, documented in his recently released diaries, from a combination of historical, cultural and philosophical perspectives. It enables further evaluation of the diaries and traces newly found interrelationships and their systematic definition. From a cultural and historical point of view, Logical Empiricism and Carnap’s pivotal opus, The Logical Structure of the World, did not evolve in a vacuum. This applies equally in a history of philosophy context as well as under consideration of contemporary historical and cultural influences such as the socio-cultural setting in Vienna and Prague, the correlation between Logical Empiricism and Bauhaus modernism, the connection to the Life Reform Movement or the Youth Movement with its own life philosophy. Pursuing Carnap’s progression on a micro level of history and referring the results back to Carnap’s philosophy is now facilitated by recent access to his Diaries from 1908–1935. These shorthand records, reading lists, travel reports and notes constitute a valuable source for the research of networks and social movements which left their mark on him.


Book
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Author:
ISBN: 1400885035 Year: 2017 Publisher: Princeton, NJ : Princeton University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.

Keywords

Information technology --- Computers --- History. --- Arend Heyting. --- Begriffsschrift. --- Bertrand Russell. --- David Hilbert. --- Earth. --- Ernst Schröder. --- Eugenio Beltrami. --- Gentzen. --- George Boole. --- Gerard Gentzen. --- Gottlob Frege. --- Guiseppe Peano. --- Gödel. --- Göttingen. --- Hermann Grassmann. --- Heyting algebras. --- Hilbert. --- Karl Menger. --- Kurt Gödel. --- Kurt Hensel. --- Leopold Kronecker. --- Moritz Schlick. --- Paul Bernays. --- Peano. --- Principia Mathematica. --- Rudolf Carnap. --- Thoralf Skolem. --- Vienna Circle. --- algebraic equations. --- algebraic logic. --- algorithmic computability. --- angles. --- arithmetic. --- assumptions. --- axioms. --- basic notions. --- calculus. --- classical arithmetic. --- computation. --- connectives. --- contemporary logic. --- deduction. --- deductive reasoning. --- digital revolution. --- finitary reasoning. --- finitism. --- geometry. --- hypothetic reasoning. --- incompleteness theorems. --- indirect proofs. --- inference. --- information age. --- intuistic arithmetic. --- lattice theory. --- logic. --- logical empiricism. --- logical structure. --- logical truths. --- mathematical logic. --- mathematical proofs. --- mathematical roots. --- mathematics. --- negation. --- non-Euclidan geometries. --- notation. --- one-place predicates. --- parallel postulate. --- philosophy. --- programming language. --- proof. --- pure thinking. --- quantificational inferences. --- theorems. --- triangles.


Book
The Logical Writings of Karl Popper
Authors: --- ---
ISBN: 3030949265 3030949257 Year: 2022 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.

Keywords

Lògica --- Argumentació --- Dialèctica (Lògica) --- Lògica deductiva --- Filosofia --- Intel·ligència --- Psicologia --- Abstracció --- Alteritat (Filosofia) --- Categories (Filosofia) --- Certesa --- Condicionals (Lògica) --- Definició (Lògica) --- Dilema --- Evidència --- Hipòtesi --- Inconsistència (Lògica) --- Inducció (Lògica) --- Intenció (Lògica) --- Judici lògic --- Lògica deòntica --- Metodologia --- Modalitat (Lògica) --- Nominalisme --- Positivisme lògic --- Probabilitats --- Raó suficient --- Sil·logisme --- Sofismes --- Teoria del coneixement --- Universals (Filosofia) --- Metodologia de la ciència --- Pensament --- Raonament --- Karl R. Popper --- Deductive Logic --- Logical Constants --- Proof-theoretic Semantics --- Classical Logic --- Non-classical Logic --- Inferential Definitions --- Mathematical Logic --- Negation --- Modalities --- History of Logic --- L.E.J. Brouwer --- Paul Bernays --- Rudolf Carnap --- Alonzo Church --- Kalman Joseph Cohen --- Henry George Forder --- Harold Jeffreys --- Stephen Cole Kleene --- Logic. --- Mathematical logic. --- Language and languages --- Mathematical Logic and Foundations. --- Stylistics. --- Style. --- Linguostylistics --- Stylistics --- Literary style --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology

Listing 1 - 5 of 5
Sort by